perm filename REFERE.MEN[F75,JMC]2 blob sn#196437 filedate 1976-01-12 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Cellular Automata, E.F. Codd, Academic Press 1968
C00003 ENDMK
CāŠ—;
Cellular Automata, E.F. Codd, Academic Press 1968

von   Neumann,   John,  The   theory   of   automata:   Construction,
Reproduction, Homogeneity  part II of "The theory of self-reproducing
automata" ed.  A.  W. Burks.  Universiy  of Illinois  Press,  Urbana,
Illinois,1966

Moore, Robert C., Reasoning from Incomplete Knowledge in a Procedural
Deduction System, M.S. Thesis, M.I.T. 1975

	Moore  (1975)  describes  some  of  the  epistemological  and
heuristic limitations  of present %2procedural deduction systems%1 as
currently developed at M.I.T.